Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000126 | Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France] | Automated verification of equivalence properties of cryptographic protocols |
| 000184 | Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
| 000282 | Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
| 000596 | Vincent Cheval [France] ; Véronique Cortier [France] | Timing attacks in security protocols: symbolic framework and proof techniques |
| 001102 | Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Antoine Plet [France] | Lengths may break privacy -- or how to check for equivalences with length |
| 001376 | Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding equivalence-based properties using constraint solving |
| 001C97 | Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France] | Automated Verification of Equivalence Properties of Cryptographic Protocols |
| This area was generated with Dilib version V0.6.33. |  |